Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
131	December, 2001 The Collective Model of the Household and An Unexpected Implication for Child Labor: Hypothesis and an Empirical Test Kaushik Basu* and Ranjan Ray Add to Reading List Source URL: www-wds.worldbank.org Language: English - Date: 2004-11-17 19:36:35** Logical consequence Logical syntax Metalogic Logic Deduction Entailment
132	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
133	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
134	Some Very Basic Concepts Reviewed in the First Chapter of Howell. Variables A variable is a quantity that can take on different values. A constant is a quantity that is always of the same value. Discrete variable Add to Reading List Source URL: core.ecu.edu Language: English - Date: 2013-09-04 22:10:27 Statistical inference Data analysis Logical syntax Sample mean and sample covariance Descriptive statistics Parameter Mean Statistic Expected value Statistics Summary statistics Variables
135	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-11-14 22:17:08 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Function Constraint logic programming Logic Mathematics Deduction
136	From last week Social Laws Symbolic Representations Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:54 Reasoning Formal languages Logical syntax Mathematical logic Metalogic Well-formed formula Reason Norm Logic Knowledge Science
137	Formal Analysis of Security Metrics with Defensive Actions Leanid Krautsevich, Fabio Martinelli, and Artsiom Yautsiukhin Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche Via G. Moruzzi 1, Pisa 561 Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2014-09-19 11:36:58 Logical consequence Logical syntax Metalogic Metric Logic Deduction Entailment
138	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
139	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
140	Rules and Illusions: A Critical Study of Rips’s The Psychology of Proof PHILIP N. JOHNSON-LAIRD Department of Psychology, Princeton University, Princeton, NJ 08544, U.S.A. philclarity.princeton.edu Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:33:38 Deduction Propositional calculus Logical syntax Logical truth Inference Psychology of reasoning Rule of inference Mental model Natural deduction Logic Science Reasoning

UPDATE